<html>
<head><meta charset="utf-8"><title>design meeting 2020.03.31 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html">design meeting 2020.03.31</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="192441350"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192441350" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192441350">(Mar 31 2020 at 19:55)</a>:</h4>
<p>Hi <span class="user-group-mention" data-user-group-id="692">@WG-traits</span>, meeting in 5 minutes</p>



<a name="192441444"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192441444" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192441444">(Mar 31 2020 at 19:56)</a>:</h4>
<p>Notable event: sprints starts today :)</p>



<a name="192441481"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192441481" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192441481">(Mar 31 2020 at 19:56)</a>:</h4>
<p>But, we don't have anything on the agenda to talk about :/</p>



<a name="192441755"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192441755" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192441755">(Mar 31 2020 at 19:58)</a>:</h4>
<p>Oh right, we had an agenda we wanted to fill in during the week <span aria-label="sweat smile" class="emoji emoji-1f605" role="img" title="sweat smile">:sweat_smile:</span></p>



<a name="192441789"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192441789" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192441789">(Mar 31 2020 at 19:59)</a>:</h4>
<p><a href="https://hackmd.io/nrhN5A8sR2eY9UdfJTKcJg?both" title="https://hackmd.io/nrhN5A8sR2eY9UdfJTKcJg?both">https://hackmd.io/nrhN5A8sR2eY9UdfJTKcJg?both</a></p>



<a name="192441835"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192441835" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192441835">(Mar 31 2020 at 19:59)</a>:</h4>
<p>be here in 2 minutes but I had hoped we could talk about the sprint goals and maybe advertise for a few folks :)</p>



<a name="192441853"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192441853" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192441853">(Mar 31 2020 at 19:59)</a>:</h4>
<p>talking about sprint goals works</p>



<a name="192442051"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192442051" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192442051">(Mar 31 2020 at 20:01)</a>:</h4>
<p>Okay, meeting time</p>



<a name="192442132"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192442132" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192442132">(Mar 31 2020 at 20:02)</a>:</h4>
<p>anything notable happen in the last week?</p>



<a name="192442202"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192442202" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192442202">(Mar 31 2020 at 20:02)</a>:</h4>
<p>for me, I got the builtin-copy-clone test to pass in the rustc integration (albeit with the stopgap solution)</p>



<a name="192442289"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192442289" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192442289">(Mar 31 2020 at 20:03)</a>:</h4>
<p>the debruijn indices change <span class="user-mention" data-user-id="116009">@nikomatsakis</span> made helps a bit</p>



<a name="192442310"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192442310" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192442310">(Mar 31 2020 at 20:03)</a>:</h4>
<p>(at least, it makes it more simple in some places)</p>



<a name="192442404"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192442404" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192442404">(Mar 31 2020 at 20:04)</a>:</h4>
<p>ok, I'm here now ;)</p>



<a name="192442423"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192442423" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192442423">(Mar 31 2020 at 20:04)</a>:</h4>
<p>so I finished off the <code>GoalBuilder</code> PR</p>



<a name="192442441"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192442441" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192442441">(Mar 31 2020 at 20:04)</a>:</h4>
<p>not perfect, but I think an improvement on the old code (which was pretty difficult to read)</p>



<a name="192442501"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192442501" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192442501">(Mar 31 2020 at 20:05)</a>:</h4>
<p>I am going through it now</p>



<a name="192442512"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192442512" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192442512">(Mar 31 2020 at 20:05)</a>:</h4>
<p>slowly</p>



<a name="192442516"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192442516" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192442516">(Mar 31 2020 at 20:05)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31/near/192441853" title="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31/near/192441853">said</a>:</p>
<blockquote>
<p>talking about sprint goals works</p>
</blockquote>
<p>in particular, didn't we have people who were asking to participate? I was thinking maybe it'd be good to collect those names and see if we can't find some tasks for them</p>



<a name="192442545"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192442545" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192442545">(Mar 31 2020 at 20:05)</a>:</h4>
<p><span class="user-mention" data-user-id="125131">@detrumi</span> what's the status with the impl trait work btw?</p>



<a name="192442560"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192442560" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192442560">(Mar 31 2020 at 20:05)</a>:</h4>
<p>Also <span class="user-mention" data-user-id="225196">@tirr-c</span></p>



<a name="192442629"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192442629" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192442629">(Mar 31 2020 at 20:06)</a>:</h4>
<p>They seemed eager to help but seem to be on when I'm not</p>



<a name="192442634"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192442634" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192442634">(Mar 31 2020 at 20:06)</a>:</h4>
<p>Didn't put much time in it last week, only rebased the PR (which uncovered one new question on the new BoundVar changes)</p>



<a name="192442666"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192442666" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192442666">(Mar 31 2020 at 20:06)</a>:</h4>
<p>and <span class="user-mention" data-user-id="116458">@Charles Lew</span> perhaps, who did a bit of work towards end of last sprint</p>



<a name="192442700"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192442700" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192442700">(Mar 31 2020 at 20:07)</a>:</h4>
<p><span class="user-mention silent" data-user-id="125131">detrumi</span> <a href="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31/near/192442634" title="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31/near/192442634">said</a>:</p>
<blockquote>
<p>Didn't put much time in it last week, only rebased the PR (which uncovered one new question on the new BoundVar changes)</p>
</blockquote>
<p>ok -- is that a question you wanted feedback on?  :)</p>



<a name="192442749"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192442749" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192442749">(Mar 31 2020 at 20:08)</a>:</h4>
<p>(is it on the PR or something?)</p>



<a name="192442809"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192442809" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192442809">(Mar 31 2020 at 20:08)</a>:</h4>
<p><span class="user-mention" data-user-id="251766">@Areredify</span> did you still want to take a stab at adding the <code>Visit</code> trait, or did something else interest you?</p>



<a name="192442811"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192442811" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192442811">(Mar 31 2020 at 20:08)</a>:</h4>
<p><a href="https://github.com/rust-lang/chalk/pull/324/files#diff-563a3df57abd0881a3def13e3bc472c6R402" title="https://github.com/rust-lang/chalk/pull/324/files#diff-563a3df57abd0881a3def13e3bc472c6R402">https://github.com/rust-lang/chalk/pull/324/files#diff-563a3df57abd0881a3def13e3bc472c6R402</a></p>



<a name="192442877"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192442877" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192442877">(Mar 31 2020 at 20:09)</a>:</h4>
<p>Maybe I should just be using a BoundVar with index 0, but I'm not sure</p>



<a name="192442911"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192442911" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192442911">(Mar 31 2020 at 20:09)</a>:</h4>
<p>in terms of sprint goals, I added a bunch of notes to the <a href="https://github.com/rust-lang/wg-traits/issues/16" title="https://github.com/rust-lang/wg-traits/issues/16">shared type library tracking issue</a>, and I remember thinking of some more things to add in the shower but kind of forget what they were :P</p>



<a name="192442942"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192442942" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192442942">(Mar 31 2020 at 20:09)</a>:</h4>
<p>but we were also talking about adding a goal of extending the chalk book itself</p>



<a name="192442991"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192442991" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Areredify <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192442991">(Mar 31 2020 at 20:10)</a>:</h4>
<p>I am almost finished with the Visit thing, so I am just looking for the next thing to pick up</p>



<a name="192443029"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443029" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443029">(Mar 31 2020 at 20:10)</a>:</h4>
<p>ah, great!</p>



<a name="192443044"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443044" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443044">(Mar 31 2020 at 20:10)</a>:</h4>
<blockquote>
<p>Introduce Interner associated type for all vectors that appear in chalk_ir types (e.g., Vec&lt;QuantifiedWhereClause&gt;, Vec&lt;ParameterKind&gt;, etc) as well as Arc or Box</p>
</blockquote>
<p>Ah, that was going to be one of my side comments on your PR <span class="user-mention" data-user-id="116009">@nikomatsakis</span> lol</p>



<a name="192443140"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443140" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443140">(Mar 31 2020 at 20:11)</a>:</h4>
<p>I am wondering about how to crisply identify those "sprint goals"</p>



<a name="192443163"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443163" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443163">(Mar 31 2020 at 20:11)</a>:</h4>
<p>like...should we hvae a floating section in our doc that preserves them (and that we keep up to date)</p>



<a name="192443210"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443210" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443210">(Mar 31 2020 at 20:12)</a>:</h4>
<p>or make a separate hackmd per sprint maybe?</p>



<a name="192443249"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443249" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443249">(Mar 31 2020 at 20:12)</a>:</h4>
<p>but ina ny case, <span class="user-mention" data-user-id="251766">@Areredify</span>, I can pull out and suggest some concrete tasks from <a href="https://github.com/rust-lang/wg-traits/issues/16" title="https://github.com/rust-lang/wg-traits/issues/16">rust-lang/wg-traits#16</a> readily enough</p>



<a name="192443276"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443276" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443276">(Mar 31 2020 at 20:12)</a>:</h4>
<p>also I think the <a href="https://rust-lang.github.io/wg-traits/roadmap/skill-tree.html" title="https://rust-lang.github.io/wg-traits/roadmap/skill-tree.html">skill tree</a> needs some updating, I see</p>



<a name="192443283"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443283" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443283">(Mar 31 2020 at 20:12)</a>:</h4>
<p>Hmm, I feel like a separate doc for each sprint</p>



<a name="192443301"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443301" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443301">(Mar 31 2020 at 20:12)</a>:</h4>
<p>and then the skill tree can tie things together</p>



<a name="192443317"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443317" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443317">(Mar 31 2020 at 20:13)</a>:</h4>
<p>I also created some issues on the skill-tree repo itself</p>



<a name="192443359"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443359" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443359">(Mar 31 2020 at 20:13)</a>:</h4>
<p>then, when the sprint is over or during, we can move those into the wg-traits repo</p>



<a name="192443374"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443374" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443374">(Mar 31 2020 at 20:13)</a>:</h4>
<p>Agreed, a blank slate for the new sprint helps with prioritizing</p>



<a name="192443383"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443383" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443383">(Mar 31 2020 at 20:13)</a>:</h4>
<p>one final thing I started doing is that I <a href="https://docs.google.com/spreadsheets/d/15OkcSFXIeYPUhJrFWfDaKme-crUJ89hERrUF2n4FVSI/edit#gid=0" title="https://docs.google.com/spreadsheets/d/15OkcSFXIeYPUhJrFWfDaKme-crUJ89hERrUF2n4FVSI/edit#gid=0">created a spreadsheet</a> that I'm using to track the names of types in chalk/rustc</p>



<a name="192443406"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443406" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443406">(Mar 31 2020 at 20:13)</a>:</h4>
<p>I think that filling that out is a kind of work item in and of itself</p>



<a name="192443480"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443480" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443480">(Mar 31 2020 at 20:14)</a>:</h4>
<p>Can you allow link to view</p>



<a name="192443492"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443492" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443492">(Mar 31 2020 at 20:14)</a>:</h4>
<p>I'm not sure you want us all to request access right now lol</p>



<a name="192443514"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443514" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443514">(Mar 31 2020 at 20:14)</a>:</h4>
<p>and/or edit</p>



<a name="192443526"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443526" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443526">(Mar 31 2020 at 20:14)</a>:</h4>
<p>done</p>



<a name="192443530"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443530" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443530">(Mar 31 2020 at 20:14)</a>:</h4>
<p>I gave view</p>



<a name="192443538"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443538" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443538">(Mar 31 2020 at 20:14)</a>:</h4>
<p>I'll give edit to specific people</p>



<a name="192443558"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443558" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443558">(Mar 31 2020 at 20:14)</a>:</h4>
<p>I've had occasional problems with "oversharing" in the past :)</p>



<a name="192443594"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443594" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443594">(Mar 31 2020 at 20:15)</a>:</h4>
<p>well could make it edit for now</p>



<a name="192443599"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443599" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443599">(Mar 31 2020 at 20:15)</a>:</h4>
<p>and revert it later</p>



<a name="192443608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443608">(Mar 31 2020 at 20:15)</a>:</h4>
<p>that's perhaps the downside of hackmd docs</p>



<a name="192443614"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443614" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443614">(Mar 31 2020 at 20:15)</a>:</h4>
<p>Naming changes were discussed earlier today</p>



<a name="192443644"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443644" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443644">(Mar 31 2020 at 20:15)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31/near/192443608" title="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31/near/192443608">said</a>:</p>
<blockquote>
<p>that's perhaps the downside of hackmd docs</p>
</blockquote>
<p>well, they have history, and their perms can be tightened</p>



<a name="192443645"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443645" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443645">(Mar 31 2020 at 20:15)</a>:</h4>
<p>(is there a way to limit edit access on those)</p>



<a name="192443648"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443648" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443648">(Mar 31 2020 at 20:15)</a>:</h4>
<p>We might want to spend most of a design meeting discussing that</p>



<a name="192443652"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443652" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443652">(Mar 31 2020 at 20:15)</a>:</h4>
<p>I think it's ok</p>



<a name="192443722"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443722" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443722">(Mar 31 2020 at 20:16)</a>:</h4>
<p>and as you said at end of sprint, we'll move to wg-traits repo</p>



<a name="192443766"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443766" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443766">(Mar 31 2020 at 20:16)</a>:</h4>
<p>I'll make a sprint doc then..?</p>



<a name="192443804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443804">(Mar 31 2020 at 20:16)</a>:</h4>
<p><a href="https://hackmd.io/kYWsWI9IS0213x0qX_1RDw" title="https://hackmd.io/kYWsWI9IS0213x0qX_1RDw">https://hackmd.io/kYWsWI9IS0213x0qX_1RDw</a></p>



<a name="192443815"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443815" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443815">(Mar 31 2020 at 20:17)</a>:</h4>
<p>I also was thinking about naming things when reading over niko's PR</p>



<a name="192443891"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192443891" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192443891">(Mar 31 2020 at 20:17)</a>:</h4>
<p>specifically around Parameter/ParameterKind/to_parameter()</p>



<a name="192444191"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192444191" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192444191">(Mar 31 2020 at 20:19)</a>:</h4>
<p>let's defer the detailed bikeshedding I guess but I think a good thing for me to work on (and others) for next week is to complete that spreadsheet with more types</p>



<a name="192444257"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192444257" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192444257">(Mar 31 2020 at 20:20)</a>:</h4>
<p>this also goes towards your request of trying to identify the contents of the shared type library</p>



<a name="192444296"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192444296" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192444296">(Mar 31 2020 at 20:20)</a>:</h4>
<p>Niko for your work items in the wg-traits issue, do you think it's work making a specific issue on the Chalk repo for each?</p>



<a name="192444325"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192444325" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192444325">(Mar 31 2020 at 20:20)</a>:</h4>
<p>and for rustc changes, how do we want to approach that</p>



<a name="192444389"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192444389" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192444389">(Mar 31 2020 at 20:21)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31/near/192444296" title="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31/near/192444296">said</a>:</p>
<blockquote>
<p>Niko for your work items in the wg-traits issue, do you think it's work making a specific issue on the Chalk repo for each?</p>
</blockquote>
<p>I did plan on doing that</p>



<a name="192444397"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192444397" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192444397">(Mar 31 2020 at 20:21)</a>:</h4>
<p>and on rustc repo, as apropriate</p>



<a name="192444428"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192444428" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192444428">(Mar 31 2020 at 20:21)</a>:</h4>
<p>(<a href="https://github.com/rust-lang/wg-traits/issues/16" title="https://github.com/rust-lang/wg-traits/issues/16">this wg-traits issue</a>)</p>



<a name="192444541"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192444541" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192444541">(Mar 31 2020 at 20:22)</a>:</h4>
<p>I'm moving the detailed lists out from the hackmd, I think they should live in tracking issues probably</p>



<a name="192444745"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192444745" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192444745">(Mar 31 2020 at 20:24)</a>:</h4>
<p>yeah, agreed</p>



<a name="192444751"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192444751" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192444751">(Mar 31 2020 at 20:24)</a>:</h4>
<p>thanks <span class="user-mention" data-user-id="125131">@detrumi</span></p>



<a name="192444803"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192444803" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192444803">(Mar 31 2020 at 20:25)</a>:</h4>
<p>ok, <a href="https://github.com/rust-lang/wg-traits/issues/16" title="https://github.com/rust-lang/wg-traits/issues/16">rust-lang/wg-traits#16</a> is up to date -- and <span class="user-mention" data-user-id="251766">@Areredify</span> I think if you wanted to pick up an item, I'd probably select one of those</p>



<a name="192444811"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192444811" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192444811">(Mar 31 2020 at 20:25)</a>:</h4>
<p>I think maybe </p>
<ul>
<li>Extend TypeName with variants representing scalar types (e.g., bool, u32, i32)</li>
</ul>



<a name="192444815"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192444815" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192444815">(Mar 31 2020 at 20:25)</a>:</h4>
<p>which I think would help <span class="user-mention" data-user-id="232957">@Jack Huey</span> as well</p>



<a name="192444818"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192444818" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192444818">(Mar 31 2020 at 20:25)</a>:</h4>
<p>in terms of rustc integration</p>



<a name="192444876"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192444876" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192444876">(Mar 31 2020 at 20:26)</a>:</h4>
<p>that's also probably needed for builtin trait logic too</p>



<a name="192444907"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192444907" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192444907">(Mar 31 2020 at 20:26)</a>:</h4>
<p>yeah it will be</p>



<a name="192444913"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192444913" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192444913">(Mar 31 2020 at 20:26)</a>:</h4>
<p>so it seems like a good place to start</p>



<a name="192444917"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192444917" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192444917">(Mar 31 2020 at 20:26)</a>:</h4>
<p>I can make a chalk issue for it</p>



<a name="192444969"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192444969" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192444969">(Mar 31 2020 at 20:26)</a>:</h4>
<p>Another thing that I thought about: (when) do we want to start doing chalk releases?</p>



<a name="192444979"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192444979" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192444979">(Mar 31 2020 at 20:27)</a>:</h4>
<p>a very good question</p>



<a name="192445002"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445002" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445002">(Mar 31 2020 at 20:27)</a>:</h4>
<p>I'm wondering -- maybe we should consider doing on a "schedule"? it seems useful</p>



<a name="192445029"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445029" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445029">(Mar 31 2020 at 20:27)</a>:</h4>
<p>I basically just mean "every week" or something</p>



<a name="192445036"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445036" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445036">(Mar 31 2020 at 20:27)</a>:</h4>
<p>but maybe that's a bit silly for us</p>



<a name="192445042"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445042" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445042">(Mar 31 2020 at 20:27)</a>:</h4>
<p>I've sort of thought that maybe once we get a "working" rustc integration (i.e. my PR is ready to merge), then we start?</p>



<a name="192445095"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445095" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445095">(Mar 31 2020 at 20:28)</a>:</h4>
<p>we should also discuss a bit with <span class="user-mention" data-user-id="129457">@Florian Diebold</span> perhaps</p>



<a name="192445112"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445112" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445112">(Mar 31 2020 at 20:28)</a>:</h4>
<p>Yeah, right now is a bit early</p>



<a name="192445130"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445130" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445130">(Mar 31 2020 at 20:28)</a>:</h4>
<p>I actually don't think it's <em>too</em> early</p>



<a name="192445148"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445148" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445148">(Mar 31 2020 at 20:28)</a>:</h4>
<p>I don't think it's too early either; we definitely <em>need</em> releases to land any kind of integration</p>



<a name="192445159"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445159" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445159">(Mar 31 2020 at 20:29)</a>:</h4>
<p>I think all the <em>needed</em> Chalk changes have been made to get the rustc integration PR finished/landed</p>



<a name="192445183"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445183" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445183">(Mar 31 2020 at 20:29)</a>:</h4>
<p>But I'd probably not want to call it "1.0" yet :)</p>



<a name="192445192"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445192" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445192">(Mar 31 2020 at 20:29)</a>:</h4>
<p>oh, definitely not</p>



<a name="192445234"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445234" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445234">(Mar 31 2020 at 20:29)</a>:</h4>
<p>So that's something to do this sprint, then</p>



<a name="192445311"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445311" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445311">(Mar 31 2020 at 20:30)</a>:</h4>
<p>another thought I had: with <span class="user-mention" data-user-id="129457">@Florian Diebold</span>'s recursive solver changes, would that be a separate crate? Or live in chalk-solve</p>



<a name="192445367"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445367" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445367">(Mar 31 2020 at 20:30)</a>:</h4>
<p>If in a separate crate, would we want to rename chalk-engine to chalk-slg</p>



<a name="192445398"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445398" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445398">(Mar 31 2020 at 20:31)</a>:</h4>
<p>I was wondering about that</p>



<a name="192445410"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445410" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445410">(Mar 31 2020 at 20:31)</a>:</h4>
<p>it is not clear that the chalk-engine crate makes sense anymore</p>



<a name="192445418"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445418" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445418">(Mar 31 2020 at 20:31)</a>:</h4>
<p>it used to be an integration point</p>



<a name="192445426"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445426" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445426">(Mar 31 2020 at 20:31)</a>:</h4>
<p>but I think it's kind of moving to be an encapsulated impl detail</p>



<a name="192445435"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445435" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445435">(Mar 31 2020 at 20:31)</a>:</h4>
<p>and arguably it could be brought into chalk-solve</p>



<a name="192445454"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445454" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445454">(Mar 31 2020 at 20:31)</a>:</h4>
<p>it might be simpler if it didn't have to generic over <code>Context</code> etc</p>



<a name="192445461"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445461" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445461">(Mar 31 2020 at 20:31)</a>:</h4>
<p>otoh you can tell me, <span class="user-mention" data-user-id="232957">@Jack Huey</span>, if that level of genericity was helpful</p>



<a name="192445468"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445468" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445468">(Mar 31 2020 at 20:31)</a>:</h4>
<p>Well, it makes sense in terms of abstraction</p>



<a name="192445522"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445522" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445522">(Mar 31 2020 at 20:32)</a>:</h4>
<p>(in particular, we could introduce some similar abstraction for the recursive solver)</p>



<a name="192445585"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445585" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445585">(Mar 31 2020 at 20:32)</a>:</h4>
<p>I think that having the chalk-engine crate being separate was <em>extremely</em> helpful in learning about chalk and how it works</p>



<a name="192445602"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445602" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445602">(Mar 31 2020 at 20:32)</a>:</h4>
<p>created  extend chalk <code>TypeName</code> with builtin types <a href="https://github.com/rust-lang-nursery/chalk/issues/368" title="https://github.com/rust-lang-nursery/chalk/issues/368">chalk#368</a></p>



<a name="192445646"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445646" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445646">(Mar 31 2020 at 20:33)</a>:</h4>
<p>but, if we have essentially two different solvers, we really would need some kind of shared abstraction</p>



<a name="192445716"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445716" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445716">(Mar 31 2020 at 20:33)</a>:</h4>
<p>ideally, yes</p>



<a name="192445723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445723">(Mar 31 2020 at 20:34)</a>:</h4>
<p>unless we just want to <em>replace</em> chalk-engine with the recursive solver when that's done</p>



<a name="192445781"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445781" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445781">(Mar 31 2020 at 20:34)</a>:</h4>
<p>I think that's not decided yet, but ultimately we probably want to settle on one</p>



<a name="192445821"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445821" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445821">(Mar 31 2020 at 20:34)</a>:</h4>
<p>so, <span class="user-mention" data-user-id="232957">@Jack Huey</span>, should we make a tracking issue for "rustc integration MVP"?</p>



<a name="192445845"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445845" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445845">(Mar 31 2020 at 20:35)</a>:</h4>
<p>I'm looking over the <a href="https://hackmd.io/kYWsWI9IS0213x0qX_1RDw" title="https://hackmd.io/kYWsWI9IS0213x0qX_1RDw">sprint hackmd</a> and I feel like I'd like to have a tracking issue per goal</p>



<a name="192445854"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445854" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445854">(Mar 31 2020 at 20:35)</a>:</h4>
<p>but for that, I think we need to answer 1) What are the benefits to each? 2) What are the limitations to each? 3) Is there a path to solving any of those limitations?</p>



<a name="192445887"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445887" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445887">(Mar 31 2020 at 20:35)</a>:</h4>
<p>(at least, where it makes sense, "design meeting for const integration" probably doesn't fit that category)</p>



<a name="192445914"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192445914" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192445914">(Mar 31 2020 at 20:35)</a>:</h4>
<p>Yes, a tracking issue for rustc integration MVP is good</p>



<a name="192446021"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446021" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446021">(Mar 31 2020 at 20:36)</a>:</h4>
<p>For the design meeting goal, I made an issue of wg-traits to "track" that</p>



<a name="192446058"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446058" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446058">(Mar 31 2020 at 20:36)</a>:</h4>
<p>(<a href="https://github.com/rust-lang/wg-traits/issues/15" title="https://github.com/rust-lang/wg-traits/issues/15">https://github.com/rust-lang/wg-traits/issues/15</a>)</p>



<a name="192446062"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446062" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446062">(Mar 31 2020 at 20:36)</a>:</h4>
<p>oh, ok, let's link that in</p>



<a name="192446079"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446079" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446079">(Mar 31 2020 at 20:37)</a>:</h4>
<p>sorry, internet is being weird</p>



<a name="192446090"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446090" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446090">(Mar 31 2020 at 20:37)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31/near/192446058" title="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31/near/192446058">said</a>:</p>
<blockquote>
<p>(What are the benefits to each?)</p>
</blockquote>
<p>I feel like I enumerated some of that in my recursive solver write-up</p>



<a name="192446110"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446110" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446110">(Mar 31 2020 at 20:37)</a>:</h4>
<p>I'd be happy to try to make a more "canonical" listing but maybe not at this second</p>



<a name="192446117"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446117" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446117">(Mar 31 2020 at 20:37)</a>:</h4>
<p>(that is, we could discuss in a side topic)</p>



<a name="192446118"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446118" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446118">(Mar 31 2020 at 20:37)</a>:</h4>
<p>sorry, that should have been a link :)</p>



<a name="192446185"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446185" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446185">(Mar 31 2020 at 20:38)</a>:</h4>
<p>yeah, that's definitely a discussion for a side topic</p>



<a name="192446252"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446252" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446252">(Mar 31 2020 at 20:38)</a>:</h4>
<p>And I think there's definitely "data" that can go into that decision that we don't have yet</p>



<a name="192446271"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446271" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446271">(Mar 31 2020 at 20:38)</a>:</h4>
<p>e.g. performance, bug fixes</p>



<a name="192446380"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446380" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446380">(Mar 31 2020 at 20:39)</a>:</h4>
<p>Anything else to discuss?</p>



<a name="192446452"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446452" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446452">(Mar 31 2020 at 20:40)</a>:</h4>
<p>If not, we can have a quick chat about the issue <span class="user-mention" data-user-id="129457">@Florian Diebold</span> brought up</p>



<a name="192446459"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446459" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446459">(Mar 31 2020 at 20:40)</a>:</h4>
<p>I'd like to discuss the book</p>



<a name="192446496"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446496" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446496">(Mar 31 2020 at 20:40)</a>:</h4>
<p>i.e., can we identify one or two things missing from there?</p>



<a name="192446508"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446508" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446508">(Mar 31 2020 at 20:40)</a>:</h4>
<p>the main thing I am thinking of is</p>



<a name="192446530"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446530" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446530">(Mar 31 2020 at 20:40)</a>:</h4>
<p>there is probalby a kind of "big picture" overview of the chalk moving parts that should be written</p>



<a name="192446533"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446533" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446533">(Mar 31 2020 at 20:40)</a>:</h4>
<p>(this one <a href="https://github.com/rust-lang/chalk/pull/331" title="https://github.com/rust-lang/chalk/pull/331">https://github.com/rust-lang/chalk/pull/331</a>)</p>



<a name="192446539"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446539" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446539">(Mar 31 2020 at 20:40)</a>:</h4>
<p>i.e., the role of chalk-solve etc?</p>



<a name="192446563"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446563" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446563">(Mar 31 2020 at 20:41)</a>:</h4>
<p>hmm, I remember we had some in there</p>



<a name="192446567"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446567" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446567">(Mar 31 2020 at 20:41)</a>:</h4>
<p>or somewhere</p>



<a name="192446595"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446595" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446595">(Mar 31 2020 at 20:41)</a>:</h4>
<p>there is definitely material out there, andI might be  misremembering how much is in the book</p>



<a name="192446609"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446609" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446609">(Mar 31 2020 at 20:41)</a>:</h4>
<p><a href="http://rust-lang.github.io/chalk/book/what_is_chalk/crates.html" title="http://rust-lang.github.io/chalk/book/what_is_chalk/crates.html">http://rust-lang.github.io/chalk/book/what_is_chalk/crates.html</a></p>



<a name="192446611"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446611" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446611">(Mar 31 2020 at 20:41)</a>:</h4>
<p>there is also stuff in rustc-dev-guide to kind of port ove</p>



<a name="192446627"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446627" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446627">(Mar 31 2020 at 20:41)</a>:</h4>
<p>ok, yes</p>



<a name="192446644"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446644" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446644">(Mar 31 2020 at 20:41)</a>:</h4>
<p>I feel like there's some "block diagrmas" waiting to be added</p>



<a name="192446650"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446650" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446650">(Mar 31 2020 at 20:41)</a>:</h4>
<p>anyway maybe there's not much to <em>discuss</em></p>



<a name="192446706"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446706" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446706">(Mar 31 2020 at 20:42)</a>:</h4>
<p>What do you mean with port over?</p>



<a name="192446728"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446728" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446728">(Mar 31 2020 at 20:42)</a>:</h4>
<p>Like, how we do similar things in chalk?</p>



<a name="192446731"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446731" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446731">(Mar 31 2020 at 20:42)</a>:</h4>
<p>let's say this: I feel semi-inspired to try and write some of that stuff, and I'd like feedback from folks about what is helpful/confusing :)</p>



<a name="192446744"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446744" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446744">(Mar 31 2020 at 20:42)</a>:</h4>
<p><span class="user-mention silent" data-user-id="125131">detrumi</span> <a href="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31/near/192446728" title="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31/near/192446728">said</a>:</p>
<blockquote>
<p>Like, how we do similar things in chalk?</p>
</blockquote>
<p>no, we used to be documenting chalk in the rustc-dev-guide</p>



<a name="192446748"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446748" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446748">(Mar 31 2020 at 20:42)</a>:</h4>
<p>in our past effort here</p>



<a name="192446759"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446759" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446759">(Mar 31 2020 at 20:42)</a>:</h4>
<p>ah</p>



<a name="192446779"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446779" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446779">(Mar 31 2020 at 20:42)</a>:</h4>
<p>this <a href="https://rustc-dev-guide.rust-lang.org/traits/index.html" title="https://rustc-dev-guide.rust-lang.org/traits/index.html">new style trait solving chapter</a>, specifically,</p>



<a name="192446789"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446789" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446789">(Mar 31 2020 at 20:43)</a>:</h4>
<p>has a bunch of content that is still fairly relevant</p>



<a name="192446818"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446818" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446818">(Mar 31 2020 at 20:43)</a>:</h4>
<p>I think the glossary/terminology would be super helpful to add</p>



<a name="192446844"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446844" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446844">(Mar 31 2020 at 20:43)</a>:</h4>
<p>let's maker a little bullet list in the sprint hackmd</p>



<a name="192446848"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446848" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446848">(Mar 31 2020 at 20:43)</a>:</h4>
<p>just earlier <span class="user-mention" data-user-id="220273">@Jane Lusby</span> was asking about what <code>?0</code> means</p>



<a name="192446883"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446883" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446883">(Mar 31 2020 at 20:43)</a>:</h4>
<p>(I added the goal at the end for the book btw)</p>



<a name="192446894"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446894" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446894">(Mar 31 2020 at 20:44)</a>:</h4>
<p>(you see it)</p>



<a name="192446997"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192446997" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192446997">(Mar 31 2020 at 20:44)</a>:</h4>
<p>And I know for a long time, I got confused as to what the difference between a bound var, an inference var, and a placeholder are</p>



<a name="192447041"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447041" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447041">(Mar 31 2020 at 20:45)</a>:</h4>
<p>And, more so, when you use one or the other, what they <em>mean</em></p>



<a name="192447194"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447194" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447194">(Mar 31 2020 at 20:46)</a>:</h4>
<p>OK, seems good</p>



<a name="192447198"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447198" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447198">(Mar 31 2020 at 20:46)</a>:</h4>
<p>we can add more later, but that's a great start</p>



<a name="192447211"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447211" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447211">(Mar 31 2020 at 20:46)</a>:</h4>
<p>if you want to talk more about <span class="user-mention" data-user-id="129457">@Florian Diebold</span>'s Pr, maybe we should do that</p>



<a name="192447240"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447240" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447240">(Mar 31 2020 at 20:46)</a>:</h4>
<p>the other thing I think we could do is try to pick next 'design meeting' topic</p>



<a name="192447255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447255">(Mar 31 2020 at 20:46)</a>:</h4>
<p>I have a few thoughts about candidates</p>



<a name="192447267"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447267" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447267">(Mar 31 2020 at 20:47)</a>:</h4>
<p>(if we wanted to dig a bit deeper into one particular thing)</p>



<a name="192447298"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447298" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447298">(Mar 31 2020 at 20:47)</a>:</h4>
<p>Let's pick design meeting topic first</p>



<a name="192447305"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447305" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447305">(Mar 31 2020 at 20:47)</a>:</h4>
<p>or discuss at least</p>



<a name="192447317"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447317" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447317">(Mar 31 2020 at 20:47)</a>:</h4>
<p>then if we have time, get to <span class="user-mention" data-user-id="129457">@Florian Diebold</span>'s PR</p>



<a name="192447337"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447337" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447337">(Mar 31 2020 at 20:47)</a>:</h4>
<p>the const design meeting, when do want to have that</p>



<a name="192447342"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447342" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447342">(Mar 31 2020 at 20:47)</a>:</h4>
<p>created  move remaining vectors, boxes in chalk-ir into associated types on <code>Interner</code> <a href="https://github.com/rust-lang-nursery/chalk/issues/369" title="https://github.com/rust-lang-nursery/chalk/issues/369">chalk#369</a>  btw, which I think would be another good work item for <span class="user-mention" data-user-id="225196">@tirr-c</span> or <span class="user-mention" data-user-id="116458">@Charles Lew</span></p>



<a name="192447412"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447412" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447412">(Mar 31 2020 at 20:48)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31/near/192447337" title="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31/near/192447337">said</a>:</p>
<blockquote>
<p>the const design meeting, when do want to have that</p>
</blockquote>
<p>that was one topic, the other was talking about the "implied bounds" setup that chalk has, well-formedness, and all of that</p>



<a name="192447436"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447436" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447436">(Mar 31 2020 at 20:48)</a>:</h4>
<p>which was coming up in the rustc integration</p>



<a name="192447463"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447463" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447463">(Mar 31 2020 at 20:48)</a>:</h4>
<p>there's some "homework reading" for that one (implied bounds)</p>



<a name="192447465"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447465" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447465">(Mar 31 2020 at 20:48)</a>:</h4>
<p>can you explain implied bounds?</p>



<a name="192447477"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447477" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447477">(Mar 31 2020 at 20:48)</a>:</h4>
<p>I wonder if we could convince <span class="user-mention" data-user-id="131694">@scalexm</span> to attend even :)</p>



<a name="192447494"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447494" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447494">(Mar 31 2020 at 20:48)</a>:</h4>
<p>It may or may not mean what I think it means</p>



<a name="192447545"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447545" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447545">(Mar 31 2020 at 20:49)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31/near/192447465" title="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31/near/192447465">said</a>:</p>
<blockquote>
<p>can you explain implied bounds?</p>
</blockquote>
<p>there was <a href="https://github.com/rust-lang/rfcs/blob/master/text/2089-implied-bounds.md" title="https://github.com/rust-lang/rfcs/blob/master/text/2089-implied-bounds.md">RFC 2089</a>, which introduces the <em>goal</em></p>



<a name="192447566"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447566" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447566">(Mar 31 2020 at 20:49)</a>:</h4>
<p>rustc already has a notion of "implied bounds", but this would be expanding on that--</p>



<a name="192447589"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447589" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447589">(Mar 31 2020 at 20:49)</a>:</h4>
<p>today in rustc if you have <code>trait Eq: PartialEq</code>, say</p>



<a name="192447608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447608">(Mar 31 2020 at 20:49)</a>:</h4>
<p>and then you say <code>fn foo&lt;T: Eq&gt;(..)</code>, you also get to assume <code>T: PartialEq</code></p>



<a name="192447613"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447613" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447613">(Mar 31 2020 at 20:49)</a>:</h4>
<p>so we expand "supertraits"</p>



<a name="192447618"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447618" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447618">(Mar 31 2020 at 20:50)</a>:</h4>
<p>but we have other implied bounds</p>



<a name="192447665"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447665" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447665">(Mar 31 2020 at 20:50)</a>:</h4>
<p>for example if you do <code>fn foo&lt;'a, T&gt;(x:  &amp;'a T) { .. }</code>,</p>



<a name="192447693"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447693" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447693">(Mar 31 2020 at 20:50)</a>:</h4>
<p>then inside the body of <code>foo</code>, we have an "implied bound" that <code>T: 'a</code> --</p>



<a name="192447720"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447720" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447720">(Mar 31 2020 at 20:50)</a>:</h4>
<p>this is derived from the fact that the type <code>&amp;'a T</code>  is only "well-formed"  if <code>T: 'a</code></p>



<a name="192447737"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447737" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447737">(Mar 31 2020 at 20:50)</a>:</h4>
<p>Is <a href="https://rustc-dev-guide.rust-lang.org/traits/implied-bounds.html" title="https://rustc-dev-guide.rust-lang.org/traits/implied-bounds.html">this chapter on implied bounds</a> still up-to-date? Or does that explain the thing we're expanding on?</p>



<a name="192447753"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447753" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447753">(Mar 31 2020 at 20:50)</a>:</h4>
<p>it's still up to date afaik</p>



<a name="192447767"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447767" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447767">(Mar 31 2020 at 20:51)</a>:</h4>
<p>except that <span class="user-mention" data-user-id="131694">@scalexm</span> and I had some conversations after that, and discussed e.g. changes to terminology</p>



<a name="192447803"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447803" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447803">(Mar 31 2020 at 20:51)</a>:</h4>
<p>but I've also been wondering about whether we can adjust the rules so that they match rustc more closely and approach implied bounds more as a "feature flag" sort of thing</p>



<a name="192447814"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447814" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447814">(Mar 31 2020 at 20:51)</a>:</h4>
<p>okay, so I am thinking about the same thing</p>



<a name="192447835"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447835" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447835">(Mar 31 2020 at 20:51)</a>:</h4>
<p>how does Chalk do it?</p>



<a name="192447855"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447855" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447855">(Mar 31 2020 at 20:51)</a>:</h4>
<p>I also encountered a problem in the old formulation with my debruijn index PR that I don't quite know how to solve (have to think it over, re-read the old design docs)</p>



<a name="192447908"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447908" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447908">(Mar 31 2020 at 20:52)</a>:</h4>
<p>well, that chapter I think is a pretty decent explanation, but in short</p>



<a name="192447927"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447927" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447927">(Mar 31 2020 at 20:52)</a>:</h4>
<p>we have these <code>FromEnv</code> rules</p>



<a name="192447942"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447942" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447942">(Mar 31 2020 at 20:52)</a>:</h4>
<p>oh, this is new-style</p>



<a name="192447973"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447973" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447973">(Mar 31 2020 at 20:52)</a>:</h4>
<p>so e.g. if you have <code>fn foo&lt;T: Eq&gt;(..) { .. }</code>, we will add <code>FromEnv(T: Eq)</code> in the "environment"</p>



<a name="192447986"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447986" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447986">(Mar 31 2020 at 20:52)</a>:</h4>
<p>and then we have two other things</p>



<a name="192447999"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192447999" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192447999">(Mar 31 2020 at 20:52)</a>:</h4>
<p>first, we have a rule <code>Implemented(T: Eq) :- FromEnv(T: Eq)</code> --</p>



<a name="192448014"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448014" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448014">(Mar 31 2020 at 20:53)</a>:</h4>
<p>i.e., if you know that <code>T: Eq</code> from the environment, then you know that you can consider it implemented (Because your caller must have proved it)</p>



<a name="192448051"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448051" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448051">(Mar 31 2020 at 20:53)</a>:</h4>
<p>and we have a rule like <code>FromEnv(T: PartialEq) :- FromEnv(T: Eq)</code>, derived from the trait declaration</p>



<a name="192448066"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448066" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448066">(Mar 31 2020 at 20:53)</a>:</h4>
<p>i.e., if the environment tells you that <code>T: Eq</code>, then it also tells you that <code>T: PartialEq</code></p>



<a name="192448086"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448086" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448086">(Mar 31 2020 at 20:53)</a>:</h4>
<p>put those together, and you get that if your where clause says <code>T: Eq</code>, you also know <code>T: PartialEq</code></p>



<a name="192448140"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448140" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448140">(Mar 31 2020 at 20:54)</a>:</h4>
<p>there are a lot of reasons that led us to this particular design that I would have to go refresh my memory on</p>



<a name="192448164"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448164" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448164">(Mar 31 2020 at 20:54)</a>:</h4>
<p>(many of which are hopefully covered in that write-up :)</p>



<a name="192448172"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448172" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448172">(Mar 31 2020 at 20:54)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31/near/192448051" title="#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31/near/192448051">said</a>:</p>
<blockquote>
<p>and we have a rule like <code>FromEq(T: PartialEq) :- FromEnv(T: Eq)</code>, derived from the trait declaration</p>
</blockquote>
<p>Should be <code>FromEnv(T: PartialEq) :- FromEnv(T: Eq)</code></p>



<a name="192448191"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448191" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448191">(Mar 31 2020 at 20:54)</a>:</h4>
<p>in any case, that basic structure is.. fine. The main difference between rustc's current behavior and chalk</p>



<a name="192448197"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448197" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448197">(Mar 31 2020 at 20:54)</a>:</h4>
<p>Ok, this all makes sense to me</p>



<a name="192448220"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448220" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448220">(Mar 31 2020 at 20:55)</a>:</h4>
<p>are these <code>FromEnv(..) :- FromEnv(..)</code> rules -- how many you create</p>



<a name="192448240"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448240" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448240">(Mar 31 2020 at 20:55)</a>:</h4>
<p>chalk makes more, so as to enable more implications</p>



<a name="192448292"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448292" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448292">(Mar 31 2020 at 20:55)</a>:</h4>
<p>(so we could potentially turn those off, or make it a kind of "feature flag" that controls how many you get)</p>



<a name="192448301"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448301" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448301">(Mar 31 2020 at 20:56)</a>:</h4>
<p>Right, this is quite natural in chalk, while this was probably annoying to do in the old-style trait solving</p>



<a name="192448394"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448394" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448394">(Mar 31 2020 at 20:56)</a>:</h4>
<p>Do you have a use-case in mind for turning them off? Debugging mainly?</p>



<a name="192448425"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448425" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448425">(Mar 31 2020 at 20:57)</a>:</h4>
<p>This sounds like it's going to go longer than 4 minutes</p>



<a name="192448432"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448432" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448432">(Mar 31 2020 at 20:57)</a>:</h4>
<p>3 minutes</p>



<a name="192448477"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448477" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448477">(Mar 31 2020 at 20:57)</a>:</h4>
<p>As far as turning them off, we probably want to match rustc's behavior to start</p>



<a name="192448489"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448489" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448489">(Mar 31 2020 at 20:57)</a>:</h4>
<p>Oh, right</p>



<a name="192448547"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448547" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448547">(Mar 31 2020 at 20:58)</a>:</h4>
<p>ok so</p>



<a name="192448554"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448554" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448554">(Mar 31 2020 at 20:58)</a>:</h4>
<p>I didnt' really mean to go this much in depth</p>



<a name="192448559"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448559" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448559">(Mar 31 2020 at 20:58)</a>:</h4>
<p>:)</p>



<a name="192448567"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448567" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448567">(Mar 31 2020 at 20:58)</a>:</h4>
<p>but it seems good anyway</p>



<a name="192448581"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448581" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448581">(Mar 31 2020 at 20:58)</a>:</h4>
<p>the main question is -- what should we talk about and when</p>



<a name="192448584"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448584" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448584">(Mar 31 2020 at 20:58)</a>:</h4>
<p>yeah, it's good</p>



<a name="192448595"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448595" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448595">(Mar 31 2020 at 20:58)</a>:</h4>
<p>right back to that</p>



<a name="192448605"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448605" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448605">(Mar 31 2020 at 20:58)</a>:</h4>
<p>I think it'd be good to plan to discuss both const generics + implied bounds, I don't have a strong opinion about in which order</p>



<a name="192448618"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448618" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448618">(Mar 31 2020 at 20:58)</a>:</h4>
<p>but i would like some time to prepare</p>



<a name="192448690"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448690" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448690">(Mar 31 2020 at 20:59)</a>:</h4>
<p>Maybe let's do one next week, skip one week (i.e. talk about something different), then have the other the week after</p>



<a name="192448884"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448884" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448884">(Mar 31 2020 at 21:01)</a>:</h4>
<p>let's maybe start with const generics?</p>



<a name="192448907"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448907" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448907">(Mar 31 2020 at 21:01)</a>:</h4>
<p>ok, sounds good</p>



<a name="192448943"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192448943" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192448943">(Mar 31 2020 at 21:01)</a>:</h4>
<p>since that seems more like a "we need to figure this out" thing, where implied bounds is more "let's match rustc"</p>



<a name="192449038"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192449038" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192449038">(Mar 31 2020 at 21:02)</a>:</h4>
<p>what is the extent of the current sprint?</p>



<a name="192449043"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192449043" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192449043">(Mar 31 2020 at 21:02)</a>:</h4>
<p>what is the end date, I mean?</p>



<a name="192449049"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192449049" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192449049">(Mar 31 2020 at 21:02)</a>:</h4>
<p>6 weeks?</p>



<a name="192449073"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192449073" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192449073">(Mar 31 2020 at 21:02)</a>:</h4>
<p>I think that means May 5?</p>



<a name="192449077"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192449077" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192449077">(Mar 31 2020 at 21:02)</a>:</h4>
<p>yeah, why not</p>



<a name="192449103"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192449103" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192449103">(Mar 31 2020 at 21:02)</a>:</h4>
<p>No, May 12</p>



<a name="192449109"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192449109" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192449109">(Mar 31 2020 at 21:02)</a>:</h4>
<p>May 12</p>



<a name="192449229"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192449229" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192449229">(Mar 31 2020 at 21:03)</a>:</h4>
<p>ok so April 7, const generics, April 21, implied bounds?</p>



<a name="192449249"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192449249" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192449249">(Mar 31 2020 at 21:04)</a>:</h4>
<p>Works for me!</p>



<a name="192449321"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192449321" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192449321">(Mar 31 2020 at 21:04)</a>:</h4>
<p>Wow, it's almost like we're getting organized</p>



<a name="192449336"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192449336" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192449336">(Mar 31 2020 at 21:04)</a>:</h4>
<p><em>almost</em></p>



<a name="192449399"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192449399" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192449399">(Mar 31 2020 at 21:05)</a>:</h4>
<p>ack!</p>



<a name="192449402"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192449402" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192449402">(Mar 31 2020 at 21:05)</a>:</h4>
<p>I gotta go!</p>



<a name="192449411"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192449411" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192449411">(Mar 31 2020 at 21:05)</a>:</h4>
<p>didn't realize it was 5 after  :)</p>



<a name="192449417"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192449417" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192449417">(Mar 31 2020 at 21:05)</a>:</h4>
<p>thanks all, this was great :)</p>



<a name="192449469"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/design%20meeting%202020.03.31/near/192449469" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/design.20meeting.202020.2E03.2E31.html#192449469">(Mar 31 2020 at 21:05)</a>:</h4>
<p>Created <a href="https://github.com/rust-lang/wg-traits/issues/17" title="https://github.com/rust-lang/wg-traits/issues/17">https://github.com/rust-lang/wg-traits/issues/17</a></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>